Советский философский словарь - исключённого третьего принцип
Связанные словари
Исключённого третьего принцип
исключённого третьего принцип
(лат. tertium non datur) , принцип логики, утверждающий, что всякое суждение или истинно, или ложно, В такой формулировке И. т. п. совпадает с двузначности принципом. Другая формулировка И. т. п.-для любого суждения А истинно либо само А, либо его отрицание в соединении с аристотелевским толкованием этого принципа [или А(х) верно для каждого х, т. е. х обладает данным свойством А, или существует по крайней мере один такой х, для к-рого А (х) не верно] выражает содержание И. т. н. в контексте теоретико-множеств. логики предикатов, а именно: эквивалентность отрицания общего суждения и соответств. суждения о существовании. Эта эквивалентность не может быть доказана без применения законов, равносильных И. т. п., что приводит к порочному кругу (petitio principii) или попытке рассматривать любое её доказательство как обоснование И. т. п. «Неэффективный» (в общем случае) характер суждений о существовании, получаемых на основе И. т. п., служит естеств. основанием для отказа от этого принципа в интуиционистских и конструктивных программах обоснования математики. И. т. п. рассматривается в этом случае как постулат классич. логики.
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 678 | |
18 | 654 | |
19 | 649 | |
20 | 630 |